@@
statement S;
@@

 f();
- S
